From 3715fec02d916f4a75aea1b03eb5e791d469035a Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Sat, 11 Oct 2014 08:01:57 -0400
Subject: [PATCH] inspector: Make the window smaller

No need for 1000 pixels of with anymore, after the reorg.
---
 gtk/inspector/window.ui | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gtk/inspector/window.ui b/gtk/inspector/window.ui
index e8f47eafb6..c3f48df8ca 100644
--- a/gtk/inspector/window.ui
+++ b/gtk/inspector/window.ui
@@ -2,7 +2,7 @@
 <interface domain="gtk30">
   <template class="GtkInspectorWindow" parent="GtkWindow">
     <property name="default-height">500</property>
-    <property name="default-width">1000</property>
+    <property name="default-width">800</property>
     <property name="icon">resource:///org/gtk/inspector/logo.png</property>
     <child type="titlebar">
       <object class="GtkHeaderBar">
@@ -75,6 +75,8 @@
         <child type="title">
           <object class="GtkStackSwitcher">
             <property name="visible">True</property>
+            <property name="margin-start">6</property>
+            <property name="margin-end">6</property>
             <property name="stack">top_stack</property>
           </object>
         </child>
-- 
2.30.2